241. Category theory and computer science :
Author: D.H. Pitt [and others] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics), Congresses.,Computer science, Congresses.,Catégories (Mathématiques)-- Congrès.,Informatique, Congrès.,Categorieën (wiskunde),Categories (Mathematics),Categories (Mathematics), Congresses.,Catégories (mathématiques)-- Congrès.,Computer science.,Computers.,Datenverarbeitung,Informatik,Kategorientheorie,Kongress,Logic, Symbolic and mathematical, Congresses.
Classification :
QA75
.
5
.
S86
1991
242. Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science-- Congresses,، Categories )Mathematics(-- Congresses
Classification :
QA
75
.
5
.
S86
1991
243. Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings
Author: / D.H. Pitt ... (et al.) (eds.)
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Computer science - Congresses,Categories (Mathematics) - Congresses
Classification :
QA75
.
5
.
S86
1991
244. Category theory and computer science: Paris, France, September 3-6, 1991, proceedings
Author: D.H. Pitt...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Categories )Mathematics(
Classification :
QA
76
.
L28
Vol
.
530
245. Category theory and computer science: Paris, France, September 3-6, 1991 : proceedings
Author: / D.H. Pitt ... [et al.] (eds.)
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer science- Congresses,Categories (Mathematics)- Congresses
Classification :
QA75
.
5
.
S86
1991
246. Category theory and computer science: Paris, France, September 3-6, 1991: proceedings
Author: D. H. Pitt...]et al.[ )eds.(
Library: (Kerman)
Subject: Congresses ، Computer science,Congresses ، Categories )Mathematics(
Classification :
QA
75
.
5
.
S86
1991
247. Category theory and computer science : 7th International conference, CTCS'97, S. Margheria Ligure, Italy, September 1997 : proceedings
Author: Eugenio Moggi, Giuseppe Rosolini )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Categories )Mathematics(
Classification :
QA
76
.
L28
Vol
.
1290
248. Category theory for computing science
Author: Michael Barr, Charles Wells
Library: (Kerman)
Subject: ، Computer science - Mathematics,، Categories )Mathematics(
Classification :
QA
76
.
9
.
M35
B37
1990
249. Category theory for computing science /
Author: Michael Barr, Charles Wells
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Categories (Mathematics),Computer science-- Mathematics
Classification :
QA76
.
9
.
M35
B37
1990
250. Cell Formation in Industrial Engineerin
Author: / by Boris Goldengorin, Dmitry Krushinsky, Panos M. Pardalos
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Computer science,Electronic books
Classification :
E-BOOK
251. Cellular Automata and Discrete Complex Systems
Author: \ [Edited by] Teijiro Isokawa...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Cellular automata -- Congresses.,Computer science -- Mathematics -- Congresses.,ماشینهای خودکار سلولی -- کنگره ها ,علوم کامپیوتر -- ریاضیات -- کنگرهها
Classification :
QA
267
.
5
.
C45
2015
E-Book
,
252. Cellular Automata and Discrete Complex Systems
Author: \ Jarkko Kari (Ed.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Cellular automata -- Congresses.,Computer science -- Mathematics -- Congresses.,ماشینهای خودکار سلولی -- کنگره ها ,علوم کامپیوتر -- ریاضیات -- کنگرهها
Classification :
QA
267
.
5
.
C45
2015
E-Book
,
253. Cellular automata and discrete complex systems :
Author: Alonso Castillo-Ramirez, Pedro P.B. de Oliveira (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cellular automata, Congresses.,Computer science-- Mathematics, Congresses.,Cellular automata.,Computer science-- Mathematics.
Classification :
QA267
.
5
.
C45
254. Cellular automata and discrete complex systems :
Author: Jarkko Kari, Martin Kutrib, Andreas Malcher (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cellular automata, Congresses,Computer science-- Mathematics, Congresses,Software
Classification :
QA267
.
5
.
C45
255. Certified Programs and Proofs :
Author: edited by Chris Hawblitzel, Dale Miller.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Computer software -- Congresses.,Formal methods (Computer science) -- Verification -- Congresses.
Classification :
QA76
.
9
.
M35
E358
2012
256. Certified programs and proofs :
Author: Jean-Pierre Jouannaud, Zhong Shao (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
C37
2011eb
257. Classification Theory of Algebraic Varieties and Compact Complex Spaces
Author: by K. Ueno.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Science, general.,Computer science.,Mathematics.
Classification :
QA3
.
B958
1975
258. Coalgebraic methods in computer science :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Congresses. ;
259. Coalgebraic methods in computer science
Author: Dirk Pattinson, Lutz Schröder (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses,Computer software-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
W67
2012eb
260. Coalgebraic methods in computer science :
Author: Corina Cîrstea (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer software-- Mathematics, Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
QA76
.
9
.
M35
